Filtered colimits in the effective topos
نویسندگان
چکیده
منابع مشابه
Filtered colimits in the effective topos
It is shown that the “constant sheaves” functor ∇ : Sets → Eff does not preserve 1-filtered colimits, and that as a consequence of this, the full subcategory of Eff on the countable projective objects is not dense. © 2005 Elsevier B.V. All rights reserved.
متن کاملMorava E-theory of Filtered Colimits
Morava E-theory E∨ n∗(−) is a much-studied theory in algebraic topology, but it is not a homology theory in the usual sense, because it fails to preserve coproducts (resp. filtered homotopy colimits). The object of this paper is to construct a spectral sequence to compute the Morava E-theory of a coproduct (resp. filtered homotopy colimit). The E2 term of this spectral sequence involves the der...
متن کاملThe Discrete Objects in the Effective Topos
The original aim of this paper was to give a rather quick and undemanding proof that the effective topos contains two non-trivial small (i.e. internal) full subcategories which are closed under all small limits in the topos (and hence in particular are internally complete). The interest in such subcategories arises from the fact that they provide a very natural notion of model for many of the s...
متن کاملBasic subtoposes of the effective topos
We study the lattice of local operators in Hyland’s Effective Topos. We show that this lattice is a free completion under internal sups indexed by the natural numbers object, generated by what we call basic local operators. We produce many new local operators and we employ a new concept, sight, in order to analyze these. We show that a local operator identified by A.M. Pitts in his thesis, give...
متن کاملA simple presentation of the effective topos
We propose for the Effective Topos an alternative construction: a realisability framework composed of two levels of abstraction. This construction simplifies the proof that the Effective Topos is a topos (equipped with natural numbers), which is the main issue that this paper addresses. In this our work can be compared to Frey’s monadic tripos-to-topos construction. However, no topos theory or ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2006
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2005.07.001